Abstraction and Four Kinds of Invariance (Or: What’s So Logical About Counting)
نویسندگان
چکیده
منابع مشابه
Observations Four Assumptions About Invariance in Perception
The term invariance has become more central to current views of perception. I take this as a good trend, but the term is rooted in mathematics, and its use in perception brings with it a host of assumptions that have generally been unexamined. The purpose of this article is to state some of these assumptions and assess their validity, with the hope that we can continue to find the term useful w...
متن کاملLogical Operations and Invariance
I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the not...
متن کاملDynamic Translucency with Abstraction Kinds
When a module language is combined with forms of non-parametric type analysis, abstract types require an opaque dynamic representation in order to maintain abstraction safety. As an idealisation of such a module language, we present a foundational calculus that combines higher-order type generation, modelling type abstraction, with singleton kinds, modelling translucency. In this calculus, type...
متن کاملLogical Full Abstraction and PCF
We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard interpretations, logical full abstraction is equivalent to equational full abstraction together with universality; the proof involves constructing enumeration operators. We also consider ...
متن کاملFour kinds of object symmetry
Abstract: This paper examines cross-speaker and cross-dialectal variation in object symmetry effects in three Germanic languages, English, Norwegian and Swedish. We argue that object symmetry effects are not a unified phenomenon, but rather that the availability of locality obviating theme movement out of applicative structures has different sources in different constructions. Both case-based a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Mathematica
سال: 2016
ISSN: 0031-8019,1744-6406
DOI: 10.1093/philmat/nkw014